⚡ Comptime Evaluation - abnv · Scour

Reduction for Structured Concurrent Programs

arxiv.org·1d

🔀Concurrency Models

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Hint-Based SMT Proof Reconstruction

arxiv.org·1h

🧮Theorem Provers

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

GNU C Language Manual

gnu.org·11h

🪄C Metaprogramming

ES6 Generators Deliver Go Style Concurrency

swannodette.github.io·1d

⚙️Async State Machines

Kolmogorov Complexity

en.wikipedia.org·18h·

Discuss: Hacker News

λLambda Calculus

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🔧Scheme Macros

jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry

github.com·3d

🧸Toy Compilers

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Conversation: LLMs and the what/how loop

martinfowler.com·15h

🔀Control Structures

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

Scalable Adaptive Memory Compiler Optimization via Multi-Objective Evolutionary Algorithms

dev.to·1d·

Discuss: DEV

🧠Memory Hierarchy

SHADOW: Simultaneous Multi-Threading Architecture with Asymmetric Threads

danglingpointers.substack.com·1d·

Discuss: Substack

🤝Cooperative Threading

Template Method Design Pattern

denvaar.dev·1d

From logical reasoning to code in C and PHP

dev.to·19h·

Discuss: DEV

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·2h

🧪Compiler Testing

Show HN: BackBuild – A framework for sequencing complex software delivery

arcaned.co·18h·

Discuss: Hacker News

🔄Incremental Compilation

Use of Assertions

blog.regehr.org·15h

🔍Static Analysis

Loading more...